501. logic program synthesis and transformation

Author:

Library: Vali Asr University Central Library (Kerman)

Subject: Logic programming

Classification :
QA
76
.
63
.
L6
1993

502. logic program synthesis and transformation

Author:

Library: Vali Asr University Central Library (Kerman)

Subject: Logic programming

Classification :
QA
76
.
63
.
L6
1993

503. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/

Author:

Library: Vali Asr University Central Library (Kerman)

Subject: Logic programming-congresses

Classification :
QA
76
.
63
.
N7
1993

504. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Logic programming-- Congresses,، Artificial intelligence-- Congresses

Classification :
QA
76
.
63
.
N67
1993

505. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/

Author:

Library: Vali Asr University Central Library (Kerman)

Subject: Logic programming-congresses

Classification :
QA
76
.
63
.
N7
1993

506. 6800 programming for logic design

Author:

Library: Library of Niroo Research Institue (Tehran)

Subject: ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(

507. programs-as-Adapting proofs

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry

508. year perspective on logic programming-A 25

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Gruppo Ricercatori e Utenti Logic Programming. ; Logic programming. ;